More from this Author

Computer Science Logic

by D. Dalen, Marc Bezem (Editor), European Association for Computer Science Logic Staff

Computer Science Logic

by Workshop on Computer Science Logic Staff, Peter G. Clote (Editor), Helmut Schwichtenberg (Editor), European Association for Computer Science Logic Staff, G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor)

Computer Science Logic

by M. Nielsen (Editor), Wolfgang Thomas (Editor), G. Goos (Editor), J. Hartmanis (Editor), Jan Van Leeuwen (Editor), European Association for Computer Science Logic Staff